A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization
نویسندگان
چکیده
Extended Finite State Machine (EFSM) is a popular model for software testing. Automated test generation on EFSM models is still far from mature. One of the challenges is test case generation for a given path and the path may be infeasible. This paper proposes a novel approach to solve the path ordering problem by the Multi-objective Pareto optimization technique. Two fitness functions are designed to obtain the Pareto-optimal solutions of path sequence, such that test cases could be generated more effectively. The optimization process is to find the path set, with trade-off path length, coverage criterion and path feasibility. An experiment was designed with four popular EFSM models. The experimental results show that our approach is more effective by comparing it to previous techniques. Keywordspath feasibility evaluation, Multi-objective optimization, test case generation, EFSM model-based testing
منابع مشابه
Solving Critical Path Problem in Project Network by a New Enhanced Multi-objective Optimization of Simple Ratio Analysis Approach with Interval Type-2 Fuzzy Sets
Decision making is an important issue in business and project management that assists finding the optimal alternative from a number of feasible alternatives. Decision making requires adequate consideration of uncertainty in projects. In this paper, in order to address uncertainty of project environments, interval type-2 fuzzy sets (IT2FSs) are used. In other words, the rating of each alternativ...
متن کاملA NEW MULTI-OBJECTIVE OPTIMIZATION APPROACH FOR SUSTAINABLE PROJECT PORTFOLIO SELECTION: A REALWORLD APPLICATION UNDER INTERVAL-VALUED FUZZY ENVIRONMENT
Organizations need to evaluate project proposals and select the ones that are the most effective in reaching the strategic goals by considering sustainability issue. In order to enhance the effectiveness and the efficiency of project oriented organizations, in this paper a new multi-objective decision making (MODM) approach of sustainable project portfolio selection is proposed which applies in...
متن کاملAn integrated search-based approach for automatic testing from extended finite state machine (EFSM) models
Context: The extended finite state machine (EFSM) is a modelling approach that has been used to represent a wide range of systems. When testing from an EFSM, it is normal to use a test criterion such as transition coverage. Such test criteria are often expressed in terms of transition paths (TPs) through an EFSM. Despite the popularity of EFSMs, testing from an EFSM is difficult for two main re...
متن کاملMOEICA: Enhanced multi-objective optimization based on imperialist competitive algorithm
In this paper, a multi-objective enhanced imperialist competitive algorithm (MOEICA) is presented. The main structures of the original ICA are employed while some novel approaches are also developed. Other than the non-dominated sorting and crowding distance methods which are used as the main tools for comparing and ranking solutions, an auxiliary comparison approach called fuzzy possession is ...
متن کاملDesigning a multi-objective optimization model of Management Canopy, based on genetic algorithms Approach to soil conservation - Case study: Kerman- Roodbar watershed
Reducing the amount and intensity of surface runoff, thus reducing erosion is one of the important aspects of natural resource management, watershed management and soil conservation. Land surface conditions and particularly vegetation is Mitigating or aggravating factor in erosion. Studies on the effect of ground cover to reduce erosion rates indicate that is not necessary to ground cover to re...
متن کامل